DICLIB.COM
Herramientas lingüísticas IA

Todas las herramientas Suscripción Contáctenos

Ingrese una palabra o frase en cualquier idioma 👆

Idioma:

Traducción y análisis de palabras por inteligencia artificial

En esta página puede obtener un análisis detallado de una palabra o frase, producido utilizando la mejor tecnología de inteligencia artificial hasta la fecha:

cómo se usa la palabra
frecuencia de uso
se utiliza con más frecuencia en el habla oral o escrita
opciones de traducción
ejemplos de uso (varias frases con traducción)
etimología

hyperarithmetical computation - traducción al ruso

CONCEPT OF AUTOMATA THEORY IN WHICH THE OUTCOME OF A TRANSITION FROM ONE STATE TO ANOTHER IS DETERMINED BY THE INPUT

Deterministic computation

hyperarithmetical computation

математика

гиперарифметическое вычисление

secure computation

SUBFIELD OF CRYPTOGRAPHY

Secure computation; Secure multiparty computation; Mutually private computation; Millionaires problem; Virtual Party Protocol; Oblivious Circuit Evaluation; Multi-party computing; Multi-party computation; Privacy-preserving computation; S-MPC; S-mpc; Multiparty computation

безопасные вычисления

symbolic mathematics

SCIENTIFIC AREA AT THE INTERFACE BETWEEN COMPUTER SCIENCE AND MATHEMATICS

Symbolic computation; Symbolic math; Symbolic Reasoning; Symbolic reasoning; Algebraic algorithms; Symbolic calculation; Algebraic computation; Symbolic computing; Symbolic and algebraic computation; Computational algebra; Symbolic mathematics; Symbolic processing; Symbolic differentiation; Symbolic maths; Simplification (symbolic computation); Draft:Computer Algebra in Scientific Computing; Simplification (computer algebra); History of computer algebra; History of symbolic computation; Simplification of expressions in computer algebra systems; Syntactic equality; Symbolic computation expression

математика

символическая логика

Definición

symbolic mathematics

<mathematics, application> (Or "symbolic math") The use of computers to manipulate mathematical equations and expressions in symbolic form, as opposed to manipulating the numerical quantities represented by those symbols. Such a system might be used for symbolic integration or differentiation, substitution of one expression into another, simplification of an expression, change of subject etc. One of the best known symbolic mathematics software packages is Mathematica. Others include ALAM, ALGY, AMP, Ashmedai, AXIOM*, CAMAL, CAYLEY, CCalc, CLAM, CoCoA(?), ESP, FLAP, FORM, FORMAL, Formula ALGOL, GAP, JACAL, LiE, Macaulay, MACSYMA, Magic Paper, MAO, Maple, Mathcad, MATHLAB, MuMath, Nother, ORTHOCARTAN, Pari, REDUCE, SAC-1, SAC2, SAINT, Schoonschip, Scratchpad I, SHEEP, STENSOR, SYMBAL, SymbMath, Symbolic Mathematical Laboratory, TRIGMAN, UBASIC. Usenet newsgropup: news:sci.math.symbolic. (1995-04-12)

Mostrar más definiciones

Wikipedia

Deterministic automaton

In computer science, a deterministic automaton is a concept of automata theory in which the outcome of a transition from one state to another is determined by the input.^: 41

A common deterministic automaton is a deterministic finite automaton (DFA) which is a finite state machine where for each pair of state and input symbol there is one and only one transition to a next state. DFAs recognize the set of regular languages and no other languages.^: 52

A standard way to build a deterministic finite automaton from a nondeterministic finite automaton is the powerset construction.^: 44

https://en.wikipedia.org/wiki/Deterministic automaton

¿Cómo se dice hyperarithmetical computation en Ruso? Traducción de &#39hyperarithmetical computation